#undef CONFIG_X86_PM_TIMER
